81. Modelle der Mengenlehre. Widerspruchsfreiheit und Unabhangigkeit der Kontinuum-Hypothese und des Auswahlaxioms
Author: / Ronald Bjorn Jensen
Library: Library of College of Science University of Tehran (Tehran)
Subject: Set theory,Logic, Symbolic and mathematical
Classification :
QA
248
.
J54
1967


82. Modelle der Mengenlehre, Widerspruchsfreiheit und Unabhangigkeit der Kontinuum - Hypothese und des Auswahlaxioms
Author: Jensen, Ronald Bjorn
Library: Central Library and Documentation Center (Kerman)
Subject: ، Set theory,، Logic, Symbolic and mathematical
Classification :
QA
1
.
L4
v
.
37


83. Modelle der Mengenlehre Widerspruchsfreiheit und Unabhangigkeit der Kontinuum-Hypothese und des Auswahlaxioms
Author: Jensen, Ronald Bjorn
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Set theory,، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
no
.
37


84. Modelle der Mengenlehre : Widerspruchsireiheit Und Unabhangigkeit der Kontinum-Hypothese und des Auswahlaxioms
Author: Ronald Bjorn Jensen; Ausgearbeitet Von Franz Josef Leven
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Set theory,، Logic, Symbolic and mathematical
Classification :
QA
3
.
L28
Vol
.
37


85. Notes on logic and set theory
پدیدآورنده : P. T. Johnstone
موضوع : Logic, Symbolic and mathematical,set theory
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
86. Notes on logic and set theory
Author: Johnstone, P. T.
Library: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
Subject: ، Logic, Symbolic and mathematical.,، Set theory
Classification :
QA
9
.
J6N6


87. Notes on logic and set theory
Author: P.T. Johnstone
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Set theory
Classification :
QA
9
.
J64
1987


88. Ones and zeroes
Author: John Gregg
Library: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
Subject: Electronic digital computers - circuits - Design,Logic, Symbolic and mathematical,Algebra, Boolean,Set theory
Classification :
TK
,
7888
.
4
,.
G74


89. Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983
Author: edited by G. H. Muller and M. M. Richter
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Model theory,Congresses ، Set theory,Congresses ، Machine theory,Congresses ، Proof theory
Classification :
QA
3
.
L28
Vol
.
1103
,
1104


90. Proof, Logic and conjecture: the mathematician's toolbox
Author: Robert S. Wolf
Library: Central library and Documentation Center (Zanjan)
Subject: ، Mathematics,، Logic, symbolic and mathematical,، Set theory
Classification :
QA
9
.
W748
1998


91. Proof, logic, and conjecture :
Author: Robert S. Wolf.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Number theory.,Set theory.
Classification :
QA9
.
W748
1998


92. Proof, logic, and conjecture : the mathematician's toolbox
Author: Robert S. Wolf
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Set theory,، Number theory
Classification :
QA
9
.
W65


93. Quality, Resemblance, and order
Author: Shreider, Iulii Anatolevich
Library: Central Library and Information Center of Birjand University (South Khorasan)
Subject: ، Logic, Symbolic and mathematical,، Set theory
Classification :
QA
9
.
S524
1975


94. Quantitative analysis methods for substantive analysts
Author: DeFrancesco, Henry F.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Mathematical statistics,، Logic, Symbolic and mathematical,، Set theory,، Reasoning
Classification :
QA
276
.
D42


95. Quantitative analysis methods for substantive analysts
Author: DeFrancesco, Henry F.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Mathematical statistics,، Logic, Symbolic and mathematical,، Set theory,، Reasoning
Classification :
QA
276
.
D42


96. Roads to infinity
Author: / John Stillwell
Library: Library of College of Science University of Tehran (Tehran)
Subject: Set theory,Infinite,Logic, Symbolic and mathematical
Classification :
QA
248
.
S778
2010


97. Roads to infinity the mathematics of truth and proof
Author: John Stillwell
Library: Vali Asr University Central Library (Kerman)
Subject: Set theory,Infinite,Logic, Symbolic and mathematical
Classification :
QA
248
.
S778
2010


98. Set theory and its logic
Author: Quine, W. V.)Willard Van Orman(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Axiomatic set theory,، Logic, Symbolic and mathematical
Classification :
QA
248
.
Q5
1969


99. Set theory and its logic.
Author: Quinet
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Axiomatic set theory,Logic, Symbolic and mathematical
Classification :
QA
248
.
Q5
1969


100. Set theory and its logic
Author: Willard Van Orman Quine
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Axiomatic set theory,، Logic, Symbolic and mathematical
Classification :
QA
248
.
Q56S4

